منابع مشابه
Level Compactness
The concept of compactness is a necessary condition of any system that is going to call itself a finitary method of proof. However, it can also apply to predicates of sets of formulas in general and in that manner it can be used in relation to level functions, a flavor of measure functions. In what follows we will tie these concepts of measure and compactness together and expand some concepts w...
متن کاملSemi compactness and semi-I-compactness in ditopological texture spaces
In this paper we generalize the notion of Semi-continuity and MS-continuity and go on to study Semi-compactness, Semi-cocompactness, Semi-stability and Semi-costability in a ditopological texture space. We also extends the notion of Semi-compactness and Semi-cocompactness to a ditopological texture space modulo an ideal [13].
متن کاملOn Intuitionistic Fuzzy β-Almost Compactness and β-Nearly Compactness
The concept of intuitionistic fuzzy β-almost compactness and intuitionistic fuzzy β-nearly compactness in intuitionistic fuzzy topological spaces is introduced and studied. Besides giving characterizations of these spaces, we study some of their properties. Also, we investigate the behavior of intuitionistic fuzzy β-compactness, intuitionistic fuzzy β-almost compactness, and intuitionistic fuzz...
متن کاملOn Compactness Theorem
In this talk we investigate the compactness theorem (as a property) in non-classical logics. We focus on the following problems: (a) What kind of semantics make a logic having compactnesss theorem? (b) What is the relationship between the compactness theorem and the classical model existence theorem (CME)/model existence theorem?
متن کاملG-compactness and groups
Lascar described EKP as a composition of EL and the topological closure of EL ([1]). We generalize this result to some other pairs of equivalence relations. Motivated by an attempt to construct a new example of a non-G-compact theory, we consider the following example. Assume G is a group definable in a structure M. We define a structure M′ consisting of M and X as two sorts, where X is an affi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1992
ISSN: 0012-365X
DOI: 10.1016/0012-365x(92)90655-y